<html>
<head><meta charset="utf-8"><title>daily sync topic selection · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html">daily sync topic selection</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="232586103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586103">(Mar 31 2021 at 13:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="232586121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586121">(Mar 31 2021 at 13:02)</a>:</h4>
<p>Maybe chat about binder refactor today?</p>



<a name="232586589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586589">(Mar 31 2021 at 13:04)</a>:</h4>
<p>wave</p>



<a name="232586607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586607">(Mar 31 2021 at 13:05)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> sure; I'd also like to continue our discussion from yesterday</p>



<a name="232586631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586631">(Mar 31 2021 at 13:05)</a>:</h4>
<p>which one?</p>



<a name="232586649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586649">(Mar 31 2021 at 13:05)</a>:</h4>
<p>I mean the crate refactoring</p>



<a name="232586701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586701">(Mar 31 2021 at 13:05)</a>:</h4>
<p>I didn't get a chance to look more at it</p>



<a name="232586712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586712">(Mar 31 2021 at 13:05)</a>:</h4>
<p>yet</p>



<a name="232586822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586822">(Mar 31 2021 at 13:06)</a>:</h4>
<p>I only say binder refactor since I want that done <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="232586868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586868">(Mar 31 2021 at 13:06)</a>:</h4>
<p>let's start with that</p>



<a name="232586892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586892">(Mar 31 2021 at 13:06)</a>:</h4>
<p>we'll do 25 minutes and then decide</p>



<a name="232586899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232586899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232586899">(Mar 31 2021 at 13:06)</a>:</h4>
<p>but not in this topic!</p>



<a name="232593348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232593348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232593348">(Mar 31 2021 at 13:44)</a>:</h4>
<p>25 minutes became 40 minutes real fast</p>



<a name="232594596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232594596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232594596">(Mar 31 2021 at 13:52)</a>:</h4>
<p>whoops</p>



<a name="232596407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232596407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232596407">(Mar 31 2021 at 14:02)</a>:</h4>
<p>I'll just claim the start of tomorrow's timeslot for some questions about that <code>AllocateIn</code>trait for the interner</p>



<a name="232627019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232627019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232627019">(Mar 31 2021 at 16:58)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> sorry :)</p>



<a name="232627044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232627044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232627044">(Mar 31 2021 at 16:58)</a>:</h4>
<p>I noticed it fly by but by the time I did I was like 'oh dang it better finish this'</p>



<a name="232627078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232627078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232627078">(Mar 31 2021 at 16:58)</a>:</h4>
<p>I definitely think it was better to stick to one topic</p>



<a name="232627107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232627107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232627107">(Mar 31 2021 at 16:59)</a>:</h4>
<p>I should be able to think/prepare for tomorrow if we want to discuss the type library</p>



<a name="232751284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232751284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232751284">(Apr 01 2021 at 12:56)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="232751395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232751395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232751395">(Apr 01 2021 at 12:57)</a>:</h4>
<p>heya</p>



<a name="232751558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232751558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232751558">(Apr 01 2021 at 12:58)</a>:</h4>
<p>Checked github last night before I went to bed only to find <a href="https://github.com/rust-lang/rust/issues/83737">#83737</a> <span aria-label="upside down" class="emoji emoji-1f643" role="img" title="upside down">:upside_down:</span></p>



<a name="232752021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752021">(Apr 01 2021 at 13:02)</a>:</h4>
<p>wave</p>



<a name="232752066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752066">(Apr 01 2021 at 13:02)</a>:</h4>
<p>well, at least the problem is caught before it hit stable</p>



<a name="232752087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752087">(Apr 01 2021 at 13:02)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> it would be too good to be true for that PR to land with no problems :)</p>



<a name="232752125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752125">(Apr 01 2021 at 13:02)</a>:</h4>
<p>at least fuschia is open source</p>



<a name="232752141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752141">(Apr 01 2021 at 13:02)</a>:</h4>
<p>though ... good luck figuring out how to build it :)</p>



<a name="232752169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752169">(Apr 01 2021 at 13:02)</a>:</h4>
<p>(idk, maybe it's easy...)</p>



<a name="232752191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752191">(Apr 01 2021 at 13:02)</a>:</h4>
<p>yeah, of course the problem occurs in fuschia</p>



<a name="232752217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752217">(Apr 01 2021 at 13:03)</a>:</h4>
<p>But hey, it fixed <a href="https://github.com/rust-lang/rust/issues/79949">#79949</a></p>



<a name="232752452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752452">(Apr 01 2021 at 13:04)</a>:</h4>
<p>I really do think that we just need to erase bound vars in the <code>decl_ty</code> in the function that ICE occurs. That should probably fix it. But yeah, going to be difficult to minimize. I tried a bit last night but no luck</p>



<a name="232752531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752531">(Apr 01 2021 at 13:05)</a>:</h4>
<p>I think the <code>#[async_trait]</code> macros might be important for the repro</p>



<a name="232752614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752614">(Apr 01 2021 at 13:05)</a>:</h4>
<p>Anyways, do we want to discuss type library this morning?</p>



<a name="232752806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752806">(Apr 01 2021 at 13:06)</a>:</h4>
<p>yes</p>



<a name="232752819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232752819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232752819">(Apr 01 2021 at 13:06)</a>:</h4>
<p>I saw there was a big topic...shift over there?</p>



<a name="232895867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232895867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232895867">(Apr 02 2021 at 13:00)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="232896961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232896961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232896961">(Apr 02 2021 at 13:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> where art thou</p>



<a name="232899501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232899501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232899501">(Apr 02 2021 at 13:39)</a>:</h4>
<p>aaah!!!</p>



<a name="232899518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232899518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232899518">(Apr 02 2021 at 13:39)</a>:</h4>
<p>it' a day off from school and I'm all off my schedule</p>



<a name="232899674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232899674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232899674">(Apr 02 2021 at 13:40)</a>:</h4>
<p>true confessions:</p>



<a name="232899689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232899689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232899689">(Apr 02 2021 at 13:41)</a>:</h4>
<p>I just spent like 30 minutes watching this over and over again with my daughter</p>



<a name="232899691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232899691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232899691">(Apr 02 2021 at 13:41)</a>:</h4>
<p><a href="https://www.youtube.com/watch?v=0zdPqBC3zVc">https://www.youtube.com/watch?v=0zdPqBC3zVc</a></p>
<div class="youtube-video message_inline_image"><a data-id="0zdPqBC3zVc" href="https://www.youtube.com/watch?v=0zdPqBC3zVc"><img src="https://i.ytimg.com/vi/0zdPqBC3zVc/default.jpg"></a></div>



<a name="232899701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232899701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232899701">(Apr 02 2021 at 13:41)</a>:</h4>
<p>so brilliant</p>



<a name="232899784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232899784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232899784">(Apr 02 2021 at 13:41)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> still around?</p>



<a name="232900204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232900204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232900204">(Apr 02 2021 at 13:45)</a>:</h4>
<p>hi</p>



<a name="232900229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232900229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232900229">(Apr 02 2021 at 13:45)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  :)</p>



<a name="232900295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232900295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232900295">(Apr 02 2021 at 13:46)</a>:</h4>
<p>So, maybe since we don't have a lot of time, reviewing is good</p>



<a name="232900320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232900320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232900320">(Apr 02 2021 at 13:46)</a>:</h4>
<p>I wanted to go over the closure problem</p>



<a name="232900338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/232900338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#232900338">(Apr 02 2021 at 13:46)</a>:</h4>
<p>but, we can do that Monday</p>



<a name="233167307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233167307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233167307">(Apr 05 2021 at 12:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="233168515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233168515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233168515">(Apr 05 2021 at 12:59)</a>:</h4>
<p>We should discuss <a href="https://github.com/rust-lang/rust/issues/83870">#83870</a> today</p>



<a name="233169101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233169101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233169101">(Apr 05 2021 at 13:04)</a>:</h4>
<p>wave</p>



<a name="233169111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233169111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233169111">(Apr 05 2021 at 13:05)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> ok</p>



<a name="233169162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233169162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233169162">(Apr 05 2021 at 13:05)</a>:</h4>
<p>How's it going</p>



<a name="233483812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233483812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233483812">(Apr 07 2021 at 13:09)</a>:</h4>
<p>I'm going to be here in ~20 minutes</p>



<a name="233483825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233483825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233483825">(Apr 07 2021 at 13:09)</a>:</h4>
<p>I plan to dig into <a href="https://github.com/rust-lang/rust/issues/83737">#83737</a></p>



<a name="233647020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233647020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233647020">(Apr 08 2021 at 12:55)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="233648204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233648204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233648204">(Apr 08 2021 at 13:04)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="233815576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233815576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233815576">(Apr 09 2021 at 12:56)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="233816359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233816359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233816359">(Apr 09 2021 at 13:01)</a>:</h4>
<p>Gonna be 15 minutes late</p>



<a name="233816374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/233816374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#233816374">(Apr 09 2021 at 13:01)</a>:</h4>
<p>But I'll be here!</p>



<a name="234152748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234152748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234152748">(Apr 12 2021 at 12:59)</a>:</h4>
<p>Hi <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="234153192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234153192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234153192">(Apr 12 2021 at 13:01)</a>:</h4>
<p>Hello <span class="user-mention" data-user-id="232957">@Jack Huey</span> =)</p>



<a name="234153207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234153207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234153207">(Apr 12 2021 at 13:01)</a>:</h4>
<p>I am gonna be 15 minutes late again!</p>



<a name="234153220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234153220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234153220">(Apr 12 2021 at 13:02)</a>:</h4>
<p>That's okay</p>



<a name="234153269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234153269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234153269">(Apr 12 2021 at 13:02)</a>:</h4>
<p>Sorry, schedule is a bit wacky today, lots of school changes</p>



<a name="234153271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234153271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234153271">(Apr 12 2021 at 13:02)</a>:</h4>
<p>anyway brb!</p>



<a name="234156471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156471">(Apr 12 2021 at 13:23)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> I'm here now</p>



<a name="234156573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156573">(Apr 12 2021 at 13:24)</a>:</h4>
<p>should we follow up on <a href="https://github.com/rust-lang/rust/issues/83737">#83737</a>, type library, or something else</p>



<a name="234156745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156745">(Apr 12 2021 at 13:25)</a>:</h4>
<p>Hmm, so I'm still mulling on <a href="https://github.com/rust-lang/rust/issues/83737">#83737</a> followup</p>



<a name="234156771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156771">(Apr 12 2021 at 13:25)</a>:</h4>
<p>I have some work done that looks good</p>



<a name="234156787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156787">(Apr 12 2021 at 13:25)</a>:</h4>
<p>but not complete</p>



<a name="234156795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156795">(Apr 12 2021 at 13:25)</a>:</h4>
<p>want to discuss it?</p>



<a name="234156805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156805">(Apr 12 2021 at 13:25)</a>:</h4>
<p>Hmm</p>



<a name="234156811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156811">(Apr 12 2021 at 13:25)</a>:</h4>
<p>also <span class="user-mention" data-user-id="365822">@FireFighterDuck</span>'s PR is r+'d :)</p>



<a name="234156837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156837">(Apr 12 2021 at 13:26)</a>:</h4>
<p>Let me push the branch I have</p>



<a name="234156881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156881">(Apr 12 2021 at 13:26)</a>:</h4>
<p>I saw that :)</p>



<a name="234156888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156888">(Apr 12 2021 at 13:26)</a>:</h4>
<p>So happy</p>



<a name="234156895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156895">(Apr 12 2021 at 13:26)</a>:</h4>
<p>Congrats <span class="user-mention" data-user-id="365822">@FireFighterDuck</span></p>



<a name="234156936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156936">(Apr 12 2021 at 13:26)</a>:</h4>
<p>it came out very pretty</p>



<a name="234156995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234156995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234156995">(Apr 12 2021 at 13:26)</a>:</h4>
<p>I'm surprised just how minimal the changes are</p>



<a name="234157130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234157130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234157130">(Apr 12 2021 at 13:27)</a>:</h4>
<p>the recursive solver has its limitations, but it's conceptually very simple</p>



<a name="234157147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234157147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234157147">(Apr 12 2021 at 13:27)</a>:</h4>
<p>which has its advantages, too</p>



<a name="234157233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234157233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234157233">(Apr 12 2021 at 13:28)</a>:</h4>
<p>I figured we could quickly discuss the changes I have so far</p>



<a name="234157255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234157255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234157255">(Apr 12 2021 at 13:28)</a>:</h4>
<p>Then talk about the closure bug in Chalk</p>



<a name="234157308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234157308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234157308">(Apr 12 2021 at 13:28)</a>:</h4>
<p>(I just have to bring that back into cache)</p>



<a name="234159119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234159119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234159119">(Apr 12 2021 at 13:38)</a>:</h4>
<p>There's also <a href="https://github.com/rust-lang/rust/issues/83767">#83767</a> which is a draft currently but you might want to weigh in on "early"</p>



<a name="234493130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234493130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234493130">(Apr 14 2021 at 12:56)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="234493222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234493222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234493222">(Apr 14 2021 at 12:56)</a>:</h4>
<p>Today is discussion about <span class="user-mention" data-user-id="125294">@Aaron Hill</span>'s PR? (Not sure which one)</p>



<a name="234493452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234493452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234493452">(Apr 14 2021 at 12:58)</a>:</h4>
<p>yes</p>



<a name="234493454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234493454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234493454">(Apr 14 2021 at 12:58)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/83913">https://github.com/rust-lang/rust/pull/83913</a></p>



<a name="234669771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234669771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234669771">(Apr 15 2021 at 12:58)</a>:</h4>
<p>Howdy <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="234669834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234669834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234669834">(Apr 15 2021 at 12:58)</a>:</h4>
<p>I'm in a meeting right now (like every thursday), so I would prefer to go over something where I can answer questions vs something I need to explain</p>



<a name="234671548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234671548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234671548">(Apr 15 2021 at 13:09)</a>:</h4>
<p>Niko not being here also works <span aria-label="shrug" class="emoji emoji-1f937" role="img" title="shrug">:shrug:</span>‍♂️</p>



<a name="234672213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672213">(Apr 15 2021 at 13:14)</a>:</h4>
<p>I'm here</p>



<a name="234672231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672231">(Apr 15 2021 at 13:14)</a>:</h4>
<p>I think i just need to adjust the event till 9:15</p>



<a name="234672261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672261">(Apr 15 2021 at 13:14)</a>:</h4>
<p>I always think i can make it by 9 but it never happens</p>



<a name="234672330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672330">(Apr 15 2021 at 13:15)</a>:</h4>
<p>(done)</p>



<a name="234672422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672422">(Apr 15 2021 at 13:15)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="234672426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672426">(Apr 15 2021 at 13:15)</a>:</h4>
<p>Howdy</p>



<a name="234672508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672508">(Apr 15 2021 at 13:16)</a>:</h4>
<p>I was thinking of continuing to dig into the bug that <span class="user-mention" data-user-id="125294">@Aaron Hill</span> and i were talking about, though</p>



<a name="234672516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672516">(Apr 15 2021 at 13:16)</a>:</h4>
<p>since that seems semi urgent</p>



<a name="234672534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672534">(Apr 15 2021 at 13:16)</a>:</h4>
<p>Works for me :)</p>



<a name="234672548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672548">(Apr 15 2021 at 13:16)</a>:</h4>
<p>also I need <span aria-label="coffee" class="emoji emoji-2615" role="img" title="coffee">:coffee:</span></p>



<a name="234672577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672577">(Apr 15 2021 at 13:16)</a>:</h4>
<p>I didn't look through that thread at all</p>



<a name="234672603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672603">(Apr 15 2021 at 13:16)</a>:</h4>
<p>so I'm zero hero currently, sorry</p>



<a name="234672626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672626">(Apr 15 2021 at 13:17)</a>:</h4>
<p>that's ok</p>



<a name="234672638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234672638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234672638">(Apr 15 2021 at 13:17)</a>:</h4>
<p>I'll probably just dump notes there</p>



<a name="234851020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234851020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234851020">(Apr 16 2021 at 13:18)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="234853732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234853732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234853732">(Apr 16 2021 at 13:35)</a>:</h4>
<p>sorry last minute problems came up</p>



<a name="234856413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234856413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234856413">(Apr 16 2021 at 13:52)</a>:</h4>
<p>Well I just saw this</p>



<a name="234856425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234856425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234856425">(Apr 16 2021 at 13:52)</a>:</h4>
<p>Oops</p>



<a name="234857179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234857179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234857179">(Apr 16 2021 at 13:57)</a>:</h4>
<p>sorry, my bad today; had some afk emergencies</p>



<a name="234857190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234857190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234857190">(Apr 16 2021 at 13:57)</a>:</h4>
<p>might be around in a bit, have to deal with a few more things</p>



<a name="234883043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/234883043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#234883043">(Apr 16 2021 at 16:24)</a>:</h4>
<p>I'm not going to be available most of today. Maybe this afternoon at 4ish</p>



<a name="235179343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235179343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235179343">(Apr 19 2021 at 13:23)</a>:</h4>
<p>morning :)</p>



<a name="235179346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235179346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235179346">(Apr 19 2021 at 13:23)</a>:</h4>
<p>I'm late!</p>



<a name="235179353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235179353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235179353">(Apr 19 2021 at 13:23)</a>:</h4>
<p>I got wrapped up reading gh notifications</p>



<a name="235179421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235179421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235179421">(Apr 19 2021 at 13:24)</a>:</h4>
<p>plan for today: I'm going to poke more at incremental caching, and give some feedback to <span class="user-mention" data-user-id="232957">@Jack Huey</span>'s recent ping</p>



<a name="235507854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235507854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235507854">(Apr 21 2021 at 13:19)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="235507866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235507866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235507866">(Apr 21 2021 at 13:19)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection/near/235179421">said</a>:</p>
<blockquote>
<p>plan for today: I'm going to poke more at incremental caching, and give some feedback to <span class="user-mention silent" data-user-id="232957">Jack Huey</span>'s recent ping</p>
</blockquote>
<p>probably going to do more of this</p>



<a name="235509516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235509516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235509516">(Apr 21 2021 at 13:29)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> want to talk about coinductive <code>Sized</code> this friday?</p>



<a name="235509537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235509537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235509537">(Apr 21 2021 at 13:29)</a>:</h4>
<p>ok</p>



<a name="235509585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235509585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235509585">(Apr 21 2021 at 13:29)</a>:</h4>
<p>I also created some calendar invites for async fn in traits</p>



<a name="235509601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235509601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235509601">(Apr 21 2021 at 13:29)</a>:</h4>
<p>blocking out some hours</p>



<a name="235509610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235509610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235509610">(Apr 21 2021 at 13:29)</a>:</h4>
<p>there is one 30min slot later today</p>



<a name="235673447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235673447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235673447">(Apr 22 2021 at 13:08)</a>:</h4>
<p>I should <em>maybe</em> be around today, but might be a bit later (in a meeting for work, not exactly sure when I'll be done)</p>



<a name="235673517"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235673517" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235673517">(Apr 22 2021 at 13:09)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> maybe look at <a href="https://github.com/rust-lang/rust/issues/83611">#83611</a> and <a href="https://github.com/rust-lang/rust/issues/83767">#83767</a></p>



<a name="235673550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235673550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235673550">(Apr 22 2021 at 13:09)</a>:</h4>
<p>The discussion on those issues are pretty straightforward</p>



<a name="235673674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235673674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235673674">(Apr 22 2021 at 13:10)</a>:</h4>
<p>Also do you think you could write the wg-traits updating for the compiler meeting?</p>



<a name="235674882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235674882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235674882">(Apr 22 2021 at 13:18)</a>:</h4>
<p>wave</p>



<a name="235674916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235674916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235674916">(Apr 22 2021 at 13:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection/near/235673674">said</a>:</p>
<blockquote>
<p>Also do you think you could write the wg-traits updating for the compiler meeting?</p>
</blockquote>
<p>yes</p>



<a name="235677332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235677332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235677332">(Apr 22 2021 at 13:32)</a>:</h4>
<p>doing that now</p>



<a name="235677426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235677426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235677426">(Apr 22 2021 at 13:32)</a>:</h4>
<p>I'm curious, what is the PR that introduced the chalk type library traits etc to metadata? cc <span class="user-mention" data-user-id="125131">@detrumi</span></p>



<a name="235678407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235678407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235678407">(Apr 22 2021 at 13:38)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="692">@WG-traits</span>  checkin by <span class="user-mention" data-user-id="116009">@nikomatsakis</span> and <span class="user-mention" data-user-id="232957">@Jack Huey</span></p>
<blockquote>
<p>We've been concentrating on a number of initiatives:</p>
<ul>
<li>Creating a standalone library for Rust types: <span class="user-mention silent" data-user-id="232957">Jack Huey</span> recently landed <a href="https://github.com/rust-lang/rust/issues/76814">#76814</a>, which refactored binders so that they have a list of the things which they bind. This helps to align with Chalk's representation and permits us to represent things like <code>for&lt;'a&gt; fn(i32)</code>, where the <code>'a</code> in the binder doesn't actually appear in the type. Other notable PRs are on the way.</li>
<li>Improving chalk: <span class="user-mention silent" data-user-id="365822">FireFighterDuck</span> landed <a href="https://github.com/rust-lang/chalk/issues/698">rust-lang/chalk#698</a> that fixes coinductive handling in the recursive solver. Movement here has otherwise been slow.</li>
<li>Async fn in traits: We created a <a href="https://github.com/rust-lang/wg-traits/projects/4">project board</a> tracking the major blockers and milestones in this effort. </li>
<li>Closing various bugs: most notably, <span class="user-mention silent" data-user-id="116009">nikomatsakis</span> has been working with <span class="user-mention silent" data-user-id="125294">Aaron Hill</span> on <a href="https://github.com/rust-lang/rust/issues/83913">#83913</a> and with <span class="user-mention silent" data-user-id="232957">Jack Huey</span> to resolve some problems that arose aftr <a href="https://github.com/rust-lang/rust/issues/76814">#76814</a> landed.</li>
</ul>
<p>Office hours: We've also designed some regular blocks ("office hours") where <span class="user-mention silent" data-user-id="116009">nikomatsakis</span> and others are around and working on tasks. There is one general office hours and the other is designed for async fn in traits. Check the compiler team calendar for details.</p>
</blockquote>



<a name="235678416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235678416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235678416">(Apr 22 2021 at 13:38)</a>:</h4>
<p>did I miss anything?</p>



<a name="235679809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235679809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235679809">(Apr 22 2021 at 13:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> don't know if you're still around</p>



<a name="235679964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235679964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235679964">(Apr 22 2021 at 13:47)</a>:</h4>
<p>Do you mean <a href="https://github.com/rust-lang/rust/issues/83142">#83142</a>?</p>



<a name="235680119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235680119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235680119">(Apr 22 2021 at 13:48)</a>:</h4>
<p>Checkin looks good to me <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span> Thanks for doing that</p>



<a name="235681270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235681270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235681270">(Apr 22 2021 at 13:55)</a>:</h4>
<p>I did</p>



<a name="235681676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235681676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235681676">(Apr 22 2021 at 13:57)</a>:</h4>
<p>Did you get a chance to look at the symbol mangling issue?</p>



<a name="235681693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235681693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235681693">(Apr 22 2021 at 13:57)</a>:</h4>
<p>i'm looking a bit now</p>



<a name="235681746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235681746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235681746">(Apr 22 2021 at 13:57)</a>:</h4>
<p>Let me know if you have questions</p>



<a name="235705475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235705475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235705475">(Apr 22 2021 at 16:15)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection/near/235677426">said</a>:</p>
<blockquote>
<p>I'm curious, what is the PR that introduced the chalk type library traits etc to metadata? cc <span class="user-mention silent" data-user-id="125131">detrumi</span></p>
</blockquote>
<p>You mean <a href="https://github.com/rust-lang/rust/issues/83142">#83142</a>?</p>



<a name="235705699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235705699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235705699">(Apr 22 2021 at 16:16)</a>:</h4>
<p>I think we can just land that mostly as it is now, after rebasing</p>



<a name="235705947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235705947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235705947">(Apr 22 2021 at 16:18)</a>:</h4>
<p>Though there also was the thing about generalizing the alloc functions, maybe we should do that before landing that. (discussion <a href="#narrow/stream/144729-wg-traits/topic/Moving.20.60TyEncodable.60.2F.60TyDecodable.60.20to.20.60rustc_typeir.60/near/230352008">here</a>)</p>



<a name="235839196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235839196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235839196">(Apr 23 2021 at 13:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> you there?</p>



<a name="235841776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235841776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235841776">(Apr 23 2021 at 13:40)</a>:</h4>
<p>sorry!</p>



<a name="235841786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235841786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235841786">(Apr 23 2021 at 13:40)</a>:</h4>
<p>I got called away today</p>



<a name="235841814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235841814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235841814">(Apr 23 2021 at 13:40)</a>:</h4>
<p>I should've posted a comment</p>



<a name="235841840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235841840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235841840">(Apr 23 2021 at 13:40)</a>:</h4>
<p>I'm here, but maybe <span class="user-mention" data-user-id="216206">@lcnr</span> we can talk monday?</p>



<a name="235841907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235841907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235841907">(Apr 23 2021 at 13:41)</a>:</h4>
<p>monday would also work for me</p>



<a name="235841926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235841926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235841926">(Apr 23 2021 at 13:41)</a>:</h4>
<p>so let's do whatever you prefer</p>



<a name="235841979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235841979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235841979">(Apr 23 2021 at 13:41)</a>:</h4>
<p>ok, let's do that</p>



<a name="235841999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/235841999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#235841999">(Apr 23 2021 at 13:41)</a>:</h4>
<p>I want to attend the 10am compiler team meeting, for one thing</p>



<a name="236167036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236167036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236167036">(Apr 26 2021 at 12:48)</a>:</h4>
<p>I will be late today-- possibly quite late. Have a medical emergency. Nothing too serious, but I have to tend to it.</p>



<a name="236186987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236186987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236186987">(Apr 26 2021 at 14:50)</a>:</h4>
<p>Back now but I have another call in 10 minutes</p>



<a name="236186995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236186995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236186995">(Apr 26 2021 at 14:50)</a>:</h4>
<p>i'll try to circle back around</p>



<a name="236187031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236187031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236187031">(Apr 26 2021 at 14:50)</a>:</h4>
<p>Hmm</p>



<a name="236187061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236187061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236187061">(Apr 26 2021 at 14:51)</a>:</h4>
<p>So, we have lots of things to discuss</p>



<a name="236187080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236187080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236187080">(Apr 26 2021 at 14:51)</a>:</h4>
<p>And not really enough time</p>



<a name="236187158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236187158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236187158">(Apr 26 2021 at 14:51)</a>:</h4>
<p>I really would like some feedback on the erasing/generator issue</p>



<a name="236187171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236187171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236187171">(Apr 26 2021 at 14:51)</a>:</h4>
<p>Since I'd like to get a fix in before beta cut</p>



<a name="236187331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236187331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236187331">(Apr 26 2021 at 14:52)</a>:</h4>
<p>I also just made <a href="https://github.com/rust-lang/rust/issues/84559">#84559</a>. Kind of a simple fix, but not sure if it's the best approach. Could you a review.</p>



<a name="236188374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236188374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236188374">(Apr 26 2021 at 14:58)</a>:</h4>
<p>I'll take a look</p>



<a name="236188449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236188449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236188449">(Apr 26 2021 at 14:59)</a>:</h4>
<p>Great</p>



<a name="236504884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236504884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236504884">(Apr 28 2021 at 13:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="236505013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236505013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236505013">(Apr 28 2021 at 13:19)</a>:</h4>
<p>wave</p>



<a name="236505077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236505077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236505077">(Apr 28 2021 at 13:20)</a>:</h4>
<p>I'm woring on a few things this morning but let me catch up on that topic</p>



<a name="236670786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236670786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236670786">(Apr 29 2021 at 13:18)</a>:</h4>
<p>wave</p>



<a name="236671228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236671228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236671228">(Apr 29 2021 at 13:21)</a>:</h4>
<p>I'm going to dig into that bug about incremental</p>



<a name="236676080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236676080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236676080">(Apr 29 2021 at 13:51)</a>:</h4>
<p>Whoops sorry. Had another meeting and have been really busy</p>



<a name="236831210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236831210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236831210">(Apr 30 2021 at 13:09)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="236832015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/236832015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#236832015">(Apr 30 2021 at 13:15)</a>:</h4>
<p>wave</p>



<a name="237158397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237158397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237158397">(May 03 2021 at 13:13)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="237158418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237158418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237158418">(May 03 2021 at 13:13)</a>:</h4>
<p>Want to continue our discussion from Friday?</p>



<a name="237159630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237159630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237159630">(May 03 2021 at 13:23)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> yes!</p>



<a name="237159641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237159641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237159641">(May 03 2021 at 13:23)</a>:</h4>
<p>I'm here, I had some more delays</p>



<a name="237655069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237655069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237655069">(May 06 2021 at 13:11)</a>:</h4>
<p>(gonna be around today, but possibly a bit on the late side, have some urgent to complete)</p>



<a name="237656187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237656187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237656187">(May 06 2021 at 13:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> ping me when you're around. I'm kind of busy today, but I figured you/we could look at <a href="https://github.com/rust-lang/rust/issues/77325">#77325</a> and <a href="https://github.com/rust-lang/rust/issues/84944">#84944</a></p>



<a name="237817691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817691">(May 07 2021 at 12:57)</a>:</h4>
<p>Hi <span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="237817699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817699">(May 07 2021 at 12:57)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="232957">@Jack Huey</span></p>



<a name="237817700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817700">(May 07 2021 at 12:57)</a>:</h4>
<p>Not sure if you're around yet</p>



<a name="237817708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817708">(May 07 2021 at 12:57)</a>:</h4>
<p>"around"</p>



<a name="237817736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817736">(May 07 2021 at 12:57)</a>:</h4>
<p>I'm actually not very around this morning, I have a meeting and a big deadline today, though I was planning to chat some with <span class="user-mention" data-user-id="116113">@lqd</span> in about an hour</p>



<a name="237817748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817748">(May 07 2021 at 12:57)</a>:</h4>
<p>er, not <span class="user-mention" data-user-id="116113">@lqd</span></p>



<a name="237817756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817756">(May 07 2021 at 12:57)</a>:</h4>
<p>with <span class="user-mention" data-user-id="216206">@lcnr</span></p>



<a name="237817766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817766">(May 07 2021 at 12:58)</a>:</h4>
<p>all these l-names</p>



<a name="237817840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817840">(May 07 2021 at 12:58)</a>:</h4>
<p>oh :/ okay</p>



<a name="237817955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817955">(May 07 2021 at 12:59)</a>:</h4>
<p>Should try to figure out what we need to move <a href="https://github.com/rust-lang/rust/issues/77325">#77325</a> either forward or to close</p>



<a name="237817986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237817986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237817986">(May 07 2021 at 12:59)</a>:</h4>
<p>Or if <a href="https://github.com/rust-lang/rust/issues/84944">#84944</a> is a better candidate</p>



<a name="237821143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/237821143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#237821143">(May 07 2021 at 13:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection/near/237817748">said</a>:</p>
<blockquote>
<p>er, not <span class="user-mention silent" data-user-id="116113">lqd</span></p>
</blockquote>
<p>thanks for the emotional rollercoaster :p</p>



<a name="238139433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238139433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238139433">(May 10 2021 at 13:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="238140364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238140364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238140364">(May 10 2021 at 13:20)</a>:</h4>
<p>wave</p>



<a name="238471599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238471599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238471599">(May 12 2021 at 13:18)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="238619217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619217">(May 13 2021 at 13:16)</a>:</h4>
<p>ok so</p>



<a name="238619220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619220">(May 13 2021 at 13:16)</a>:</h4>
<p>incremental is basically done</p>



<a name="238619222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619222">(May 13 2021 at 13:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> is working on TAIT</p>



<a name="238619282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619282">(May 13 2021 at 13:17)</a>:</h4>
<p>Howdy :)</p>



<a name="238619295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619295">(May 13 2021 at 13:17)</a>:</h4>
<p>you saw <span class="user-mention" data-user-id="232957">@Jack Huey</span> that I put you as reviewer for that PR?</p>



<a name="238619303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619303">(May 13 2021 at 13:17)</a>:</h4>
<p>in general I'm not around at this time but today is an exception, still, I couldn't start checking what I need to do :)</p>



<a name="238619304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619304">(May 13 2021 at 13:17)</a>:</h4>
<p>I should open my follow-up PR</p>



<a name="238619312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619312">(May 13 2021 at 13:17)</a>:</h4>
<p>Yes, I reviewed already</p>



<a name="238619339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619339">(May 13 2021 at 13:18)</a>:</h4>
<p>Just waiting for perf</p>



<a name="238619401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619401">(May 13 2021 at 13:18)</a>:</h4>
<p>looks good</p>



<a name="238619413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619413">(May 13 2021 at 13:18)</a>:</h4>
<p>I tried digging more into the projection normalization</p>



<a name="238619428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619428">(May 13 2021 at 13:18)</a>:</h4>
<p>Honestly, it's slow</p>



<a name="238619490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619490">(May 13 2021 at 13:19)</a>:</h4>
<p>This seems like a closure-specific problem</p>



<a name="238619520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619520">(May 13 2021 at 13:19)</a>:</h4>
<p>(the "implementation is not general enough" error)</p>



<a name="238619572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238619572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238619572">(May 13 2021 at 13:19)</a>:</h4>
<p>do you want to look into it a bit</p>



<a name="238764562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238764562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238764562">(May 14 2021 at 13:16)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="238764681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238764681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238764681">(May 14 2021 at 13:17)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> so I actually forgot I have something right now, will you still be around in a bit?</p>



<a name="238764721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238764721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238764721">(May 14 2021 at 13:17)</a>:</h4>
<p>e.g. at 10</p>



<a name="238764803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238764803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238764803">(May 14 2021 at 13:18)</a>:</h4>
<p>Yes</p>



<a name="238771413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/238771413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#238771413">(May 14 2021 at 14:01)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span></p>



<a name="239086275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239086275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239086275">(May 17 2021 at 13:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="239086884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239086884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239086884">(May 17 2021 at 13:19)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> how goes?</p>



<a name="239086980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239086980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239086980">(May 17 2021 at 13:20)</a>:</h4>
<p>Good</p>



<a name="239087061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087061">(May 17 2021 at 13:20)</a>:</h4>
<p>How about you?</p>



<a name="239087094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087094">(May 17 2021 at 13:20)</a>:</h4>
<p>I'm ok</p>



<a name="239087181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087181">(May 17 2021 at 13:21)</a>:</h4>
<p>I'm tired lol</p>



<a name="239087208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087208">(May 17 2021 at 13:21)</a>:</h4>
<p><em>But</em> I was productive this weekend</p>



<a name="239087218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087218">(May 17 2021 at 13:21)</a>:</h4>
<p>I was doing some chalk hacking today</p>



<a name="239087258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087258">(May 17 2021 at 13:21)</a>:</h4>
<p>What on?</p>



<a name="239087278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087278">(May 17 2021 at 13:21)</a>:</h4>
<p>Hopefully <a href="https://github.com/rust-lang/chalk/issues/688">chalk#688</a></p>



<a name="239087444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087444">(May 17 2021 at 13:22)</a>:</h4>
<p>No :)</p>



<a name="239087474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087474">(May 17 2021 at 13:22)</a>:</h4>
<p>I was working on reworking how caching works</p>



<a name="239087481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087481">(May 17 2021 at 13:23)</a>:</h4>
<p>Oh</p>



<a name="239087551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087551">(May 17 2021 at 13:23)</a>:</h4>
<p>I would say that we should talk about <a href="https://github.com/rust-lang/chalk/issues/688">chalk#688</a>, but I don't quite remember the exact problem</p>



<a name="239087681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087681">(May 17 2021 at 13:24)</a>:</h4>
<p>I was trying to merge chalk/salsa</p>



<a name="239087802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087802">(May 17 2021 at 13:24)</a>:</h4>
<p>For the recursive solver</p>



<a name="239087952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087952">(May 17 2021 at 13:25)</a>:</h4>
<p>I'll look at <a href="https://github.com/rust-lang/chalk/issues/688">chalk#688</a></p>



<a name="239087953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239087953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239087953">(May 17 2021 at 13:25)</a>:</h4>
<p>(btw <a href="https://github.com/rust-lang/rust/issues/83767">#83767</a> and <a href="https://github.com/rust-lang/rust/issues/85313">#85313</a> are ready)</p>



<a name="239088006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239088006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239088006">(May 17 2021 at 13:26)</a>:</h4>
<p>let me check those out</p>



<a name="239094430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239094430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239094430">(May 17 2021 at 14:04)</a>:</h4>
<p>incidentally, merging chalk and salsa would help a bit with 688 since it would make trait solving cancelable (again)</p>



<a name="239095099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239095099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239095099">(May 17 2021 at 14:08)</a>:</h4>
<p>I think I see the way forward there</p>



<a name="239095127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239095127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239095127">(May 17 2021 at 14:08)</a>:</h4>
<p>unfortunately I have to redo my branch because it was on an old master</p>



<a name="239097468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239097468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239097468">(May 17 2021 at 14:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection/near/239087953">said</a>:</p>
<blockquote>
<p>(btw <a href="https://github.com/rust-lang/rust/issues/83767">#83767</a> and <a href="https://github.com/rust-lang/rust/issues/85313">#85313</a> are ready)</p>
</blockquote>
<p>r+'d</p>



<a name="239281404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239281404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239281404">(May 18 2021 at 16:12)</a>:</h4>
<p>Does <a href="https://github.com/rust-lang/rust/pull/85313">https://github.com/rust-lang/rust/pull/85313</a> being merged mean that <a href="https://github.com/rust-lang/rust/issues/76826">https://github.com/rust-lang/rust/issues/76826</a> is fixed?</p>



<a name="239283380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239283380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239283380">(May 18 2021 at 16:25)</a>:</h4>
<p>I don't think so, but could be wrong</p>



<a name="239283644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239283644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239283644">(May 18 2021 at 16:26)</a>:</h4>
<p><span class="user-mention" data-user-id="281572">@marmeladema</span> it's just a step along the way</p>



<a name="239284335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239284335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239284335">(May 18 2021 at 16:31)</a>:</h4>
<p>Oh right ok! I was about to try to open a PR to add a test :p</p>



<a name="239421474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239421474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239421474">(May 19 2021 at 13:15)</a>:</h4>
<p>wave</p>



<a name="239421621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239421621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239421621">(May 19 2021 at 13:16)</a>:</h4>
<p>Howdy</p>



<a name="239421779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239421779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239421779">(May 19 2021 at 13:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> want to discuss projection normalization?</p>



<a name="239422086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239422086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239422086">(May 19 2021 at 13:18)</a>:</h4>
<p>ok</p>



<a name="239422246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239422246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239422246">(May 19 2021 at 13:19)</a>:</h4>
<p>I woke up early this morning and spent time refactoring chalk</p>



<a name="239422688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239422688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239422688">(May 19 2021 at 13:22)</a>:</h4>
<p>Salsa integration?</p>



<a name="239422719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239422719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239422719">(May 19 2021 at 13:22)</a>:</h4>
<p>correct</p>



<a name="239422729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239422729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239422729">(May 19 2021 at 13:22)</a>:</h4>
<p>I'm going to drop a few comments there</p>



<a name="239422747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239422747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239422747">(May 19 2021 at 13:22)</a>:</h4>
<p>Nice</p>



<a name="239588882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239588882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239588882">(May 20 2021 at 13:15)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="239589133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239589133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239589133">(May 20 2021 at 13:17)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/85499">#85499</a></p>



<a name="239666104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666104">(May 20 2021 at 22:02)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> wow!</p>



<a name="239666124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666124">(May 20 2021 at 22:02)</a>:</h4>
<p>also sorry this morning I shuld've canceled the meeting, I had something come up</p>



<a name="239666127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666127">(May 20 2021 at 22:02)</a>:</h4>
<p>should be around tomorrow though!</p>



<a name="239666174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666174">(May 20 2021 at 22:03)</a>:</h4>
<p>np</p>



<a name="239666257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666257">(May 20 2021 at 22:03)</a>:</h4>
<p>Really I think the only thing to worry about now for this PR is just the overflow/never-ending tests</p>



<a name="239666268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666268">(May 20 2021 at 22:03)</a>:</h4>
<p>Probably the same issue and same fix</p>



<a name="239666274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666274">(May 20 2021 at 22:03)</a>:</h4>
<p>i.e., there are tests that go into infinite loops?</p>



<a name="239666321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666321">(May 20 2021 at 22:04)</a>:</h4>
<p>Just one</p>



<a name="239666339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666339">(May 20 2021 at 22:04)</a>:</h4>
<p>probably the same sort of issue, yes</p>



<a name="239666355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666355">(May 20 2021 at 22:04)</a>:</h4>
<p>"src/test/ui/recursion/issue-83150.rs "</p>



<a name="239666391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239666391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239666391">(May 20 2021 at 22:05)</a>:</h4>
<p>And then in <code>src/test/ui/associated-types/hr-associated-type-bound-2.rs </code> we get "overflow evaluating the requirement <code>for&lt;'b&gt; u32: X&lt;'b&gt;</code>"</p>



<a name="239747639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239747639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239747639">(May 21 2021 at 13:11)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="239747893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239747893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239747893">(May 21 2021 at 13:13)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> wave</p>



<a name="239747927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239747927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239747927">(May 21 2021 at 13:14)</a>:</h4>
<p>How are you</p>



<a name="239748041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748041">(May 21 2021 at 13:14)</a>:</h4>
<p>I'm good</p>



<a name="239748113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748113">(May 21 2021 at 13:15)</a>:</h4>
<p><span aria-label="grinning" class="emoji emoji-1f600" role="img" title="grinning">:grinning:</span></p>



<a name="239748144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748144">(May 21 2021 at 13:15)</a>:</h4>
<p>Anyways, what shall we discuss today</p>



<a name="239748170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748170">(May 21 2021 at 13:15)</a>:</h4>
<p>(I see you commenting on the dyn repr thread)</p>



<a name="239748260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748260">(May 21 2021 at 13:16)</a>:</h4>
<p>well</p>



<a name="239748278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748278">(May 21 2021 at 13:16)</a>:</h4>
<p>you opened a PR, should we investigate it?</p>



<a name="239748287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748287">(May 21 2021 at 13:16)</a>:</h4>
<p>the other thing is that there remains an incremental bug</p>



<a name="239748293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748293">(May 21 2021 at 13:16)</a>:</h4>
<p>and I feel like I should dug into that too</p>



<a name="239748339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748339">(May 21 2021 at 13:17)</a>:</h4>
<p>We can talk about the PR</p>



<a name="239748370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748370">(May 21 2021 at 13:17)</a>:</h4>
<p>But I actually don't think there's a ton to talk about</p>



<a name="239748391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748391">(May 21 2021 at 13:17)</a>:</h4>
<p>I think only about how we want to handle the "future"</p>



<a name="239748396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748396">(May 21 2021 at 13:17)</a>:</h4>
<p>back in 5, actually</p>



<a name="239748411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239748411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239748411">(May 21 2021 at 13:17)</a>:</h4>
<p>ok =) (in anoher topic tho)</p>



<a name="239749363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/239749363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#239749363">(May 21 2021 at 13:24)</a>:</h4>
<p>wave</p>



<a name="240046658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240046658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240046658">(May 24 2021 at 12:54)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="240049321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049321">(May 24 2021 at 13:16)</a>:</h4>
<p>wave</p>



<a name="240049406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049406">(May 24 2021 at 13:17)</a>:</h4>
<p>so...what to do today :)</p>



<a name="240049420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049420">(May 24 2021 at 13:17)</a>:</h4>
<p>So</p>



<a name="240049426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049426">(May 24 2021 at 13:17)</a>:</h4>
<p>I see <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> pointed me at a branch</p>



<a name="240049434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049434">(May 24 2021 at 13:17)</a>:</h4>
<p>which I will quickly check out</p>



<a name="240049442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049442">(May 24 2021 at 13:17)</a>:</h4>
<p>I was looking into the recursion test for projection normalization</p>



<a name="240049455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049455">(May 24 2021 at 13:17)</a>:</h4>
<p>Feel like I'm not getting very far</p>



<a name="240049547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049547">(May 24 2021 at 13:18)</a>:</h4>
<p>At least, I'm not understanding why this branch doesn't error out but master does</p>



<a name="240049558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049558">(May 24 2021 at 13:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection/near/240049426">said</a>:</p>
<blockquote>
<p>I see <span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> pointed me at a branch</p>
</blockquote>
<p>nothing new since we last talked, I should have time today to finish the PR</p>



<a name="240049644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049644">(May 24 2021 at 13:19)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection/near/240049442">said</a>:</p>
<blockquote>
<p>I was looking into the recursion test for projection normalization</p>
</blockquote>
<p>want to talk about it, <span class="user-mention" data-user-id="232957">@Jack Huey</span> ?</p>



<a name="240049660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049660">(May 24 2021 at 13:19)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection/near/240049558">said</a>:</p>
<blockquote>
<p>nothing new since we last talked, I should have time today to finish the PR</p>
</blockquote>
<p>oh, ok, I must have seen aold message</p>



<a name="240049672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240049672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240049672">(May 24 2021 at 13:19)</a>:</h4>
<p>Sure</p>



<a name="240322023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240322023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240322023">(May 26 2021 at 13:15)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="240322040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240322040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240322040">(May 26 2021 at 13:15)</a>:</h4>
<p>wave</p>



<a name="240465502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240465502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240465502">(May 27 2021 at 13:19)</a>:</h4>
<p>Howdy <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="240465740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240465740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240465740">(May 27 2021 at 13:21)</a>:</h4>
<p>hey!</p>



<a name="240465969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240465969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240465969">(May 27 2021 at 13:22)</a>:</h4>
<p>I guess I'll look some more into that caching</p>



<a name="240602168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/240602168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#240602168">(May 28 2021 at 13:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> hi</p>



<a name="241146127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241146127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241146127">(Jun 02 2021 at 13:12)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="241146342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241146342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241146342">(Jun 02 2021 at 13:14)</a>:</h4>
<p>wave</p>



<a name="241386158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241386158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241386158">(Jun 03 2021 at 12:54)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="241388786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241388786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241388786">(Jun 03 2021 at 13:16)</a>:</h4>
<p>wave</p>



<a name="241389150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241389150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241389150">(Jun 03 2021 at 13:20)</a>:</h4>
<p>I'm filling in the compiler team sync</p>



<a name="241389427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241389427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241389427">(Jun 03 2021 at 13:22)</a>:</h4>
<p>Oh, thank you</p>



<a name="241533094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533094">(Jun 04 2021 at 13:17)</a>:</h4>
<p>Howdy <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="241533195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533195">(Jun 04 2021 at 13:18)</a>:</h4>
<p>wave</p>



<a name="241533258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533258">(Jun 04 2021 at 13:19)</a>:</h4>
<p>I was thinking about your vacation and this PR</p>



<a name="241533285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533285">(Jun 04 2021 at 13:19)</a>:</h4>
<p>I'm hoping to have it done</p>



<a name="241533288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533288">(Jun 04 2021 at 13:19)</a>:</h4>
<p>And just the general tracjectory on GATs</p>



<a name="241533292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533292">(Jun 04 2021 at 13:19)</a>:</h4>
<p>You'll be starting vacation next week?</p>



<a name="241533301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533301">(Jun 04 2021 at 13:19)</a>:</h4>
<p>(ps, 1000% supportive of that :)</p>



<a name="241533419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533419">(Jun 04 2021 at 13:20)</a>:</h4>
<p>do you mean you hope to get it done todaY?</p>



<a name="241533445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533445">(Jun 04 2021 at 13:20)</a>:</h4>
<p>No no, vacation the 2 weeks after</p>



<a name="241533491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533491">(Jun 04 2021 at 13:21)</a>:</h4>
<p>I'm going home to see my family (haven't been since the Christmas before covid)</p>



<a name="241533669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533669">(Jun 04 2021 at 13:22)</a>:</h4>
<p>ok</p>



<a name="241533679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533679">(Jun 04 2021 at 13:22)</a>:</h4>
<p>should we pick up from where we left off yesterday?</p>



<a name="241533683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533683">(Jun 04 2021 at 13:22)</a>:</h4>
<p>I'm not 100% sure I'll be able to get the PR "done" before then. Given that we might want a crater run</p>



<a name="241533688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533688">(Jun 04 2021 at 13:22)</a>:</h4>
<p>Sure</p>



<a name="241533689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533689">(Jun 04 2021 at 13:22)</a>:</h4>
<p>I want to try and put some more work items onto my queue</p>



<a name="241533720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533720">(Jun 04 2021 at 13:22)</a>:</h4>
<p>msotly I'm thinking of RFC and stablization report authoring</p>



<a name="241533729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241533729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241533729">(Jun 04 2021 at 13:22)</a>:</h4>
<p>that and badgering <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> :)</p>



<a name="241535077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/241535077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#241535077">(Jun 04 2021 at 13:33)</a>:</h4>
<p>:)</p>



<a name="242594246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/242594246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#242594246">(Jun 14 2021 at 13:13)</a>:</h4>
<p>wave, so I'm around today</p>



<a name="242594258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/242594258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#242594258">(Jun 14 2021 at 13:13)</a>:</h4>
<p>I've got some catching up to do</p>



<a name="242594266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/242594266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#242594266">(Jun 14 2021 at 13:13)</a>:</h4>
<p>last week I was basically afk all week</p>



<a name="242594289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/242594289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#242594289">(Jun 14 2021 at 13:13)</a>:</h4>
<p>how're things?</p>



<a name="242594989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/242594989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#242594989">(Jun 14 2021 at 13:17)</a>:</h4>
<p>oh I remember that <span class="user-mention" data-user-id="232957">@Jack Huey</span> is on vacation this week :) (good!)</p>



<a name="244141747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244141747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244141747">(Jun 28 2021 at 13:11)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> are you going to be around this morning</p>



<a name="244152568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244152568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244152568">(Jun 28 2021 at 14:27)</a>:</h4>
<p>Sorry, I should probably remove those from the calendar</p>



<a name="244152600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244152600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244152600">(Jun 28 2021 at 14:27)</a>:</h4>
<p>My schedule shifted with the move to summer and this is a hard time for me to make</p>



<a name="244152678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244152678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244152678">(Jun 28 2021 at 14:27)</a>:</h4>
<p>Oh okay</p>



<a name="244152776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244152776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244152776">(Jun 28 2021 at 14:28)</a>:</h4>
<p>That said, I want to take some time to focus on the GAT slowdown :)</p>



<a name="244154004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244154004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244154004">(Jun 28 2021 at 14:35)</a>:</h4>
<p>Are you around now?</p>



<a name="244154027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244154027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244154027">(Jun 28 2021 at 14:35)</a>:</h4>
<p>Long story short: just a perf regression</p>



<a name="244154713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244154713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244154713">(Jun 28 2021 at 14:40)</a>:</h4>
<p>Both I and <span class="user-mention silent" data-user-id="239181">The 8472</span> weren't able to reproduce the regression locally. But usually the try builds, we could. Finally got some actual data on what could be wrong: <a href="#narrow/stream/247081-t-compiler.2Fperformance/topic/Analyzing.20a.20perf.20regression/near/244090336">https://rust-lang.zulipchat.com/#narrow/stream/247081-t-compiler.2Fperformance/topic/Analyzing.20a.20perf.20regression/near/244090336</a></p>
<p>At this point, just trying a couple things. But, imho, I think we probably should land the PR as-is (modulo a few experiments for perf). deeply-nested-async gives a ~30% perf improvement, but others (at worst) are down to &lt;4% (checking now whether this was do only to an <code>inline(never)</code> I added, or adding <code>inflate</code> to the pgo script)</p>



<a name="244156091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244156091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244156091">(Jun 28 2021 at 14:49)</a>:</h4>
<p>OK</p>



<a name="244156108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/daily%20sync%20topic%20selection/near/244156108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/daily.20sync.20topic.20selection.html#244156108">(Jun 28 2021 at 14:49)</a>:</h4>
<p>I'm around-ish now, doing a bit of a survey on Rust 2021 Edition</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>